|
In mathematics, a differential field ''K'' is differentially closed if every finite system of differential equations with a solution in some differential field extending ''K'' already has a solution in ''K''. This concept was introduced by . Differentially closed fields are the analogues for differential equations of algebraically closed fields for polynomial equations. == The theory of differentially closed fields== *p is 0 or a prime number, and is the characteristic of a field. *A differential polynomial in ''x'' is a polynomial in ''x'', ∂''x'', ∂2''x'', ... *The order of a non-zero differential polynomial in ''x'' is the largest ''n'' such that ∂''n''''x'' occurs in it, or −1 if the differential polynomial is a constant. *The separant ''S''''f'' of a differential polynomial of order ''n''≥0 is the derivative of ''f'' with respect to ∂''n''''x''. *The field of constants of a differential field is the subfield of elements ''a'' with ∂''a''=0. *In a differential field ''K'' of nonzero characteristic ''p'', all ''p''th powers are constants. It follows that neither ''K'' nor its field of constants are perfect, unless ∂ is trivial. A field ''K'' with derivation is called differentially perfect if it is either of characteristic 0, or of characteristic ''p'' and every constant is a ''p''th power of an element of ''K''. *A differentially closed field is a differentially perfect field ''K'' such that if ''f'' and ''g'' are differential polynomials such that ''S''''f''≠ 0 and ''g''≠0 and ''f'' has order greater than that of ''g'', then there is some ''x'' in the field with ''f''(''x'')=0 and ''g''(''x'')≠0. (Some authors add the condition that ''K'' has characteristic 0, in which case ''S''''f'' is automatically non-zero, and ''K'' is automatically perfect.) *DCF''p'' is the theory of differentially closed fields of characteristic ''p'' (0 or a prime). Taking ''g''=1 and ''f'' any ordinary separable polynomial shows that any differentially closed field is separably closed. In characteristic 0 this implies that it is algebraically closed, but in characteristic ''p''>0 differentially closed fields are never algebraically closed. Unlike the complex numbers in the theory of algebraically closed fields, there is no natural example of a differentially closed field. Any differentially perfect field ''K'' has a differential closure, a prime model extension, which is differentially closed. Shelah showed that the differential closure is unique up to isomorphism over ''K''. Shelah also showed that the prime differentially closed field of characteristic 0 (the differential closure of the rationals) is not minimal; this was a rather surprising result, as it is not what one would expect by analogy with algebraically closed fields. The theory of DCF''p'' is complete and model complete (for ''p''=0 this was shown by Robinson, and for ''p''>0 by ). The theory DCF''p'' is the model companion of the theory of differential fields of characteristic ''p''. It is the model completion of the theory of differentially perfect fields of characteristic ''p'' if one adds to the language a symbol giving the ''p''th root of constants when ''p''>0. The theory of differential fields of characteristic ''p''>0 does not have a model completion, and in characteristic ''p''=0 is the same as the theory of differentially perfect fields so has DCF0 as its model completion. The number of differentially closed fields of some infinite cardinality κ is 2κ; for κ uncountable this was proved by , and for κ countable by Hrushovski and Sokolovic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Differentially closed field」の詳細全文を読む スポンサード リンク
|